Equivalence in the Fields of Logic and Chemistry: a monograph by Sherlock Holmes
Equivalence in logic (the material conditional or material implication) is a binary truth function. It is the relation between two propositions, such that they are both true or both false. The compound p→q, (if p then q), is equivalent to the logical negation of this ( Read more... )